TSTP Solution File: SWV435^4 by E-Darwin---1.5